PossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling
نویسندگان
چکیده
Uncertainty reasoning and inconsistency handling are two important problems that often occur in the applications of the Semantic Web. Possibilistic description logics provide a flexible framework for representing and reasoning with ontologies where uncertain and/or inconsistent information exists. Based on our previous work, we develop a possibilistic description logic reasoner. Our demo will illustrate functionalities of our reasoner for various reasoning tasks that possibilistic description logics can provide.
منابع مشابه
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension of description logics. We give semantics and syntax of possibilistic description logics. We then define two inference services in possibilistic description logics. Since possibilistic inference suffers from the drownin...
متن کاملA Possibilistic Extension of Description Logics
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an extension of description logics. We give semantics and syntax of possibilistic description logics. Two kinds of inference services are considered in our logics and algorithms are provided for them. These algorithms are imp...
متن کاملNon Defeated-Based Repair in Possibilistic DL-Lite Knowledge Bases
Possibilistic DL-Lite is an extension of the DL-Lite framework to deal with uncertain pieces of information. In this paper, we deal with inconsistency in DL-Lite in case where the assertions are uncertain and encoded in a possibility theory framework. We investigate three inconsistency-tolerant reasoning methods for possibilistic DL-Lite knowledge bases which are based on the selection of one c...
متن کاملHandling uncertainty: An extension of DL-Lite with Subjective Logic
Data in real world applications is often subject to some kind of uncertainty, which can be due to incompleteness, unreliability or inconsistency. This poses a great challenge for ontology-based data access (OBDA) applications, which are expected to provide a meaningful answers to queries, even under uncertain domains. Several extensions of classical OBDA systems has been proposed to address thi...
متن کاملInconsistency-tolerant reasoning with OWL DL
The Web Ontology Language (OWL) is a family of description logic based ontology languages for the Semantic Web and gives well defined meaning to web accessible information and services. The study of inconsistency-tolerant reasoning with description logic knowledge bases is especially important for the Semantic Web since knowledge is not always perfect within it. An important challenge is streng...
متن کامل